mini-os: added arch_unbind_ports
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:29 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 13:13:20 +0000 (14:13 +0100)
commitb757e8d41f7d61fff9560428e11a587796ebbc34
treefdfd0b7341dae98b107854bd35a391d265d666f6
parent49a37237c78816937595082775e505bb8b18ea39
mini-os: added arch_unbind_ports

This allows closing any ports opened by the arch-specific code.
ARM will use it for the debug port.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/arch/x86/events.c
extras/mini-os/events.c
extras/mini-os/include/events.h